<!DOCTYPE html>
<html lang="en">

<head>
    <meta charset="UTF-8">
    <meta name="viewport" content="width=device-width, initial-scale=1.0">
    <title>Document</title>
</head>

<body>
    <?php
    include  'HeaderNav.html';
    ?>

    <h1>学生信息</h1>
    <!-- <a href="login.php?frompage=students">请先登录</a> -->
    <?php session_start();
    if (!isset($_SESSION['stuno'])) {
        header('Location:login.php?frompage=students');
    }
    ?>

    <?php
    include  'Footer.html';
    ?>
</body>

</html>